#!/bin/bash
echo "Shutting down oreto3..."
icegridadmin --Ice.Config=config.oreto3 -e "node shutdown Oreto3"
